1 2 - PDFSEARCH.IO - Document Search Engine

1 2
Results: 258872

#	Item
191	Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Software testing Software engineering Computing Software development Symbolic execution Random testing Unit testing Code coverage Test automation Algorithm Manual testing Concolic testing
192	Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted Published Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-05 14:26:41 Algebra Mathematics Abstract algebra Category theory Universal algebra Boolean algebra Mathematical logic Adjoint functors F-algebra Variety Monad Sigma-algebra
193	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2014-04-20 08:49:44 Mathematical logic Metalogic Logic Model theory Logic in computer science Proof theory Proof assistants Programming language semantics HOL Operational semantics Gdel's completeness theorem Type theory
194	PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2 Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-01-04 05:28:26 Microeconomics Game theory Economics Applied mathematics Non-cooperative games Mathematical optimization Nash equilibrium Stochastic game Zero-sum game Pareto efficiency Strategy
195	Rootstock brochure 2-15_work_in_progress_3:Layout 1.qxd Add to Reading List Source URL: www.rootstock.org.uk Language: English - Date: 2013-07-04 11:26:18 Business models Market socialism Social programs Structure Radical Routes Economy Consumers' co-operative Housing cooperative Cooperative Worker cooperative The Co-operative Group The Co-operative brand
196	Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation? David Derler1 , Sebastian Ramacher1 , and Daniel Slamanig2 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-08-28 04:23:05 Cryptography Public-key cryptography Elliptic curve cryptography Key management Digital Signature Standard Digital signature Key Post-quantum cryptography EdDSA RSA Model theory Digital Signature Algorithm
197	What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-08-10 12:10:31 Computing Open formats Markup languages Formal methods Debugging Logic in computer science Runtime verification Tracing Comma-separated values Exception handling Database Data logger
198	Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-01-08 10:00:18 Theoretical computer science Formal methods Logic in computer science Bisimulation Applied mathematics Mathematics Scheduling Transition system -calculus
199	Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨ Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Infinite loop Recursion Function Computability theory Computing
200	Square, a New Multivariate Encryption Scheme Crystal Clough1 , John Baena1,2 , Jintai Ding1,4 , Bo-Yin Yang3 , and Ming-shing Chen3 1 Department of Mathematical Sciences, Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:42 Cryptography Multivariate cryptography Hidden Field Equations Equation Field extension XSL attack

UPDATE